Wyniki
-
On the decidability of a system of dialectical propositional logic
Elias H. Alves
Bulletin of the Section of Logic , 7 /4 (1978) s. 179-184 -
The first axiomatization of a paraconsistent logic
Elias H. Alves
Bulletin of the Section of Logic , 21 /1 (1992) s. 19-20 -
Some remarks on the logic of vagueness
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 133-138 -
A semantical study of some systems of vagueness logic
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 139-144 -
On the equivalence between two systems of paraconsistent logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 24 /3 (1995) s. 155-157 -
On the equivalence between some systems of non-classical logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 25 /2 (1996) s. 68-72 -
Relations between paraconsistent logic and many-valued logic
Newton C.A. da Costa, Elias H. Alves
Bulletin of the Section of Logic , 10 /4 (1981) s. 185-190 -
On some higher-order predicate calculi
Elias H. Alves, Jose E. de Almeida Moura
Bulletin of the Section of Logic , 7 /2 (1978) s. 84